民族班高等数学教学改革研究

当前关于高校民族班的高等数学教学存在诸多问题,文章首先分析了制约民族生高等数学学习的一系列因素,并着重从激发兴趣动机、注重基于双语的数学语富教学、加强高等数学教学的文化相关性、实施基于民族生自主学习的PBL教学模式、倡导促进民族生的全面和谐发展的多元评价考核模式等方面提出了改进对策。     

Better is the Neighbor?

Abstract

This study applies the Sequential Panel Selection Method (SPSM), to investigate the convergence properties of the military expenditure of the North Atlantic Treaty Organization (NATO) during the period of 1990–2015. Compared to the traditional methods, SPSM considers fundamentally general spatial homogeneous and heterogeneous relationships with countries and examines the evolution of military expenditure. We find that four-fifths of NATO member countries have been convergent with the UK, but no country’s military expenditure is convergent with the US. This means that there is no significant linkage effect in the US for NATO military expenditure. While they are allies of the US, the majority of NATO member countries’ military expenditures are consistent with UK military expenditure. The main reasons are due to the geographical space layout and the international relationship convergence. The results indicate that more than four-fifths of NATO member countries have been coordinated with convergence theory and spillover effect.     

概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

单小批量武器装备保障的质量屋模型研究

摘要：针对单小批量武器装备保障的特殊需求,对传统的质量屋模型进行了改进,建立了基于装备保障需求与保障规则的质量屋模型,利用整数规划技术进行求解,使得单小批量武器的装备保障规则按照实际保障需求重新排列优先次序,并通过对某型火炮保障方案的筛选验证了模型的正确性．新的质量屋模型发展完善了质量屋的理论与方法,有助于提高单小批量武器的装备保障能力．     

预定相遇态势的潜射鱼雷射击及其技术方法

为发挥鱼雷的作战效能,提出潜射鱼雷有利相遇态势的概念,指出当一次转角射击不能满足鱼雷以有利相遇态势接近并发现目标时,各种自导方式的鱼雷均需要二次转角射击。在给出二次转角射击时机、解算模型的基础上,着重对预定相遇态势射击的关键----二次转向点的选择问题进行了系统研究,引入基于鱼雷自导探测距离的二次转向点与预定相遇点之间距离的选择方法,使得二次转向点的选择更具合理性和针对性,且适用于包括直航鱼雷在内的各种鱼雷。     

基于GAHP的模糊综合评判法在潜艇 作战方案评估中的应用

潜艇作战方案评估是辅助对潜指挥员决策的重要方法,而评估的科学性对决策的有效性影响很大.利用多人层次分析法(GAHP)和模糊综合评判相结合的方法,对潜艇作战方案进行评估,评估的结果可信度高,有利于对潜指挥员的正确决策.最后,通过实例证明了方法的有效性.     

Steady-state analysis of load balancing with Coxian-2 distributed service times

This paper studies load balancing for many-server (N servers) systems. Each server has a buffer of size b ? 1, and can have at most one job in service and b ? 1 jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is λ = 1 ? N^?α for 0 < α < 0.5. We identify a set of policies that achieve asymptotic zero waiting. The set of policies include several classical policies such as join-the-shortest-queue (JSQ), join-the-idle-queue (JIQ), idle-one-first (I1F) and power-of-d-choices (Po d) with d = O(N^α log N). The proof of the main result is based on Stein's method and state space collapse. A key technical contribution of this paper is the iterative state space collapse approach that leads to a simple generator approximation when applying Stein's method.     

Higher‐order Markov chain models for categorical data sequences*

In this paper we study higher‐order Markov chain models for analyzing categorical data sequences. We propose an efficient estimation method for the model parameters. Data sequences such as DNA and sales demand are used to illustrate the predicting power of our proposed models. In particular, we apply the developed higher‐order Markov chain model to the server logs data. The objective here is to model the users' behavior in accessing information and to predict their behavior in the future. Our tests are based on a realistic web log and our model shows an improvement in prediction. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

核试验地震核查的模糊逻辑推理综合识别方法

建立了一种增强性模糊推理方法,用来满足综合地震事件识别判据的需求。利用这种推理方法进行了地震事件模糊逻辑推理综合识别方法研究,给出了方法的框架。实例研究表明这种综合识别方法在核试验地震监测中有减少可疑事件数量的能力。